搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	A Portrait of State-of-the-Art Research at the Technical University of Lisbon [electronic resource] 0 索取号：作者：Pereira、 Manuel Seabra.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.		Handbook of Spatial Logics [electronic resource] 0 索取号：作者：Aiello、 Marco.、Pratt-Hartmann、 Ian.、Benthem、 Johan.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.
	Topics in the Theory Of Chemical and Physical Systems [electronic resource] : Proceedings of the 10th European Workshop on Quantum systemsin chemistry and physics held at Carthage, Tunisia, in September 2005 0 索取号：作者：Lahmar、 Souad.、Maruani、 Jean.、Wilson、 Stephen.、Delgado-Barrio、 Gerardo.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.		Models for Computer Aided Tolerancing in Design and Manufacturing [electronic resource] : Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005 0 索取号：作者：Davidson、 Joseph K.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.
	Measuring, Monitoring and Modeling Concrete Properties [electronic resource] : An International Symposium dedicated to Professor Surendra P. Shah, Northwestern University, U.S.A. 0 索取号：作者：KONSTA-GDOUTOS、 MARIA S.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.		Remote Sensing of the Atmosphere for Environmental Security [electronic resource] : Proceedings of the NATO Advanced Research Workshop on Remote Sensing of the Atmosphere for Environmental Security Rabat, Morocco 16鈥ṠNovember 2005 0 索取号：作者：Perrin、 Agn猫s.、Ben Sari-Zizi、 Najate.、Demaison、 Jean.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.
	Plant disease epidemiology: facing challenges of the 21st Century [electronic resource] : Under the aegis of an International Plant Disease Epidemiology Workshop held at Landernau, France, 10鈥ᵴh April, 2005 0 索取号：作者：Savary、 S.、Cooke、 B. M.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.		The Age of Alternative Logics [electronic resource] : Assessing Philosophy of Logic and Mathematics Today 0 索取号：作者：Benthem、 Johan.、Heinzmann、 Gerhard.、Rebuschi、 Manuel.、Visser、 Henk.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.
	Transforming University Biochemistry Teaching Using Collaborative Learning and Technology [electronic resource] : Ready, Set, Action Research! 0 索取号：作者：Gilmer、 Penny J.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.		Assessment and Remediation of Contaminated Sediments [electronic resource] : Proceedings of the NATO Advanced Research Workshop on Assessment and Remediation of Contaminated Sediments Bratislava, Slovak Republic 18鈥ⱠMay 2005 0 索取号：作者：Reible、 Danny.、Lanczos、 Tomas.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.
	Sustainable strategies for managing Brassica napus (oilseed rape) resistance to Leptosphaeria maculans (phoma stem canker) [electronic resource] : Under the aegis of a European-Australian workshop held at INRA, Versailles, France, in association with the EU SECURE project (QLK5-CT-2002-01813) 0 索取号：作者：Fitt、 B. D. L.、Evans、 N.、Howlett、 B. J.、Cooke、 B. M.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.		Modelling water and nutrient dynamics in soil鈥揷rop systems [electronic resource] : Proceedings of the workshop on 鈥淢odelling water and nutrient dynamics in soil鈥揷rop systems鈥ਥld on 14鈥ᶠJune 2004 in M眉ncheberg, Germany 0 索取号：作者：Kersebaum、 Kurt Christian.、Hecker、 Jens-Martin.、Mirschel、 Wilfried.、Wegehenkel、 Martin.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.
	Human Interaction with Machines [electronic resource] : Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15鈥ᶬ 2005 0 索取号：作者：Hommel、 G.、Huanye、 Sheng.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.		Symmetry and Heterogeneity in High Temperature Superconductors [electronic resource] : Proceedings of the NATO Advanced Study Research. Workshop on Symmetry and Heterogeneity in High Temperature Superconductors Erice, Sicily, Italy October 4鈥ᰬ 2003 0 索取号：作者：Bianconi、 Antonio.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.
	Non-Linear Dynamics and Fundamental Interactions [electronic resource] : Proceedings of the NATO Advanced Research Workshop on Non-Linear Dynamics and Fundamental Interactions Tashkent, Uzbekistan October 10鈥ᶬ 2004 0 索取号：作者：Khanna、 Faqir.、Matrasulov、 Davron.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.		Riverbank Filtration Hydrology [electronic resource] : Proceedings of the NATO Advanced Research Workshop on Riverbank Filtration Hydrology Bratislava, Slovakia September 2004 0 索取号：作者：Hubbs、 Stephen A.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.

	A Portrait of State-of-the-Art Research at the Technical University of Lisbon [electronic resource] 0 索取号：作者：Pereira、 Manuel Seabra.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.		Handbook of Spatial Logics [electronic resource] 0 索取号：作者：Aiello、 Marco.、Pratt-Hartmann、 Ian.、Benthem、 Johan.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.
	Topics in the Theory Of Chemical and Physical Systems [electronic resource] : Proceedings of the 10th European Workshop on Quantum systemsin chemistry and physics held at Carthage, Tunisia, in September 2005 0 索取号：作者：Lahmar、 Souad.、Maruani、 Jean.、Wilson、 Stephen.、Delgado-Barrio、 Gerardo.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.		Models for Computer Aided Tolerancing in Design and Manufacturing [electronic resource] : Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005 0 索取号：作者：Davidson、 Joseph K.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.
	Measuring, Monitoring and Modeling Concrete Properties [electronic resource] : An International Symposium dedicated to Professor Surendra P. Shah, Northwestern University, U.S.A. 0 索取号：作者：KONSTA-GDOUTOS、 MARIA S.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.		Remote Sensing of the Atmosphere for Environmental Security [electronic resource] : Proceedings of the NATO Advanced Research Workshop on Remote Sensing of the Atmosphere for Environmental Security Rabat, Morocco 16鈥ṠNovember 2005 0 索取号：作者：Perrin、 Agn猫s.、Ben Sari-Zizi、 Najate.、Demaison、 Jean.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.
	Plant disease epidemiology: facing challenges of the 21st Century [electronic resource] : Under the aegis of an International Plant Disease Epidemiology Workshop held at Landernau, France, 10鈥ᵴh April, 2005 0 索取号：作者：Savary、 S.、Cooke、 B. M.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.		The Age of Alternative Logics [electronic resource] : Assessing Philosophy of Logic and Mathematics Today 0 索取号：作者：Benthem、 Johan.、Heinzmann、 Gerhard.、Rebuschi、 Manuel.、Visser、 Henk.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.
	Transforming University Biochemistry Teaching Using Collaborative Learning and Technology [electronic resource] : Ready, Set, Action Research! 0 索取号：作者：Gilmer、 Penny J.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2010.		Assessment and Remediation of Contaminated Sediments [electronic resource] : Proceedings of the NATO Advanced Research Workshop on Assessment and Remediation of Contaminated Sediments Bratislava, Slovak Republic 18鈥ⱠMay 2005 0 索取号：作者：Reible、 Danny.、Lanczos、 Tomas.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.
	Sustainable strategies for managing Brassica napus (oilseed rape) resistance to Leptosphaeria maculans (phoma stem canker) [electronic resource] : Under the aegis of a European-Australian workshop held at INRA, Versailles, France, in association with the EU SECURE project (QLK5-CT-2002-01813) 0 索取号：作者：Fitt、 B. D. L.、Evans、 N.、Howlett、 B. J.、Cooke、 B. M.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.		Modelling water and nutrient dynamics in soil鈥揷rop systems [electronic resource] : Proceedings of the workshop on 鈥淢odelling water and nutrient dynamics in soil鈥揷rop systems鈥ਥld on 14鈥ᶠJune 2004 in M眉ncheberg, Germany 0 索取号：作者：Kersebaum、 Kurt Christian.、Hecker、 Jens-Martin.、Mirschel、 Wilfried.、Wegehenkel、 Martin.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2007.
	Human Interaction with Machines [electronic resource] : Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15鈥ᶬ 2005 0 索取号：作者：Hommel、 G.、Huanye、 Sheng.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.		Symmetry and Heterogeneity in High Temperature Superconductors [electronic resource] : Proceedings of the NATO Advanced Study Research. Workshop on Symmetry and Heterogeneity in High Temperature Superconductors Erice, Sicily, Italy October 4鈥ᰬ 2003 0 索取号：作者：Bianconi、 Antonio.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.
	Non-Linear Dynamics and Fundamental Interactions [electronic resource] : Proceedings of the NATO Advanced Research Workshop on Non-Linear Dynamics and Fundamental Interactions Tashkent, Uzbekistan October 10鈥ᶬ 2004 0 索取号：作者：Khanna、 Faqir.、Matrasulov、 Davron.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.		Riverbank Filtration Hydrology [electronic resource] : Proceedings of the NATO Advanced Research Workshop on Riverbank Filtration Hydrology Bratislava, Slovakia September 2004 0 索取号：作者：Hubbs、 Stephen A.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2006.